University of Nottingham - PDFSEARCH.IO - Document Search Engine

University of Nottingham
Results: 779

#	Item
461	The agent programming language Meta-APL Thu Trang Doan, Natasha Alechina, and Brian Logan University of Nottingham, Nottingham NG8 1BB, UK {ttd,nza,bsl}@cs.nott.ac.uk Abstract. We describe a novel agent programming lang Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-09 09:53:52 Mathematics Homotopy theory Symbol Admissible rule Valuation
462	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:27:16 Model theory Mathematical logic Logical syntax Interpretation Modal logic Action selection Proposition Linear temporal logic Logic Philosophy of language Formal languages
463	Resource-bounded belief revision and contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science University of Nottingham Nottingham, UK {nza,mtw,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 07:58:47 Logic programming Knowledge representation Belief revision Logic Theory of justification J Software engineering Computer programming Computing
464	Monday 19 March[removed]Registration[removed] Add to Reading List Source URL: www.bbep2012.org Language: English - Date: 2012-03-12 10:46:30 Sports medicine Sports science University of Nottingham Florida Gators football Gatorade Association of Commonwealth Universities
465	Reasoning about other agents’ beliefs under bounded resources Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-19 13:18:33 Epistemic modal logic Logic Constructible universe Mathematical logic Modal logic Artificial intelligence
466	Logic for coalitions with bounded resources ∗ Natasha Alechina and Brian Logan and and Nguyen Hoang Nga and Abdur Rakib School of Computer Science The University of Nottingham Nottingham, NG8 1BB, UK {nza,bsl,hnn,rza}@ Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-07-07 05:27:15 Modal logic Entailment Combinatory logic Logic Artificial intelligence Epistemic modal logic
467	SHOW TIME 2014 ART AND DESIGN DEGREE SHOWS AND EVENTS Celebrating 170 transformational years of Art and Design expertise and creativity, Nottingham Trent University launches a showcase of final-year student exhibitions a Add to Reading List Source URL: www.ntu.ac.uk Language: English - Date: 2015-02-10 00:20:49 Association of Commonwealth Universities Nottingham Trent University Nottingham Fashion design Alberta College of Art and Design Nottingham Trent University School of Art and Design Local government in England Counties of England East Midlands
468	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-09-26 13:10:47 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
469	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-05 07:12:06 Modal logic Software engineering Logic Non-classical logic Maude system
470	Game Over: You have been beaten by a GRUE Elizabeth Gordon and Brian Logan School of Computer Science and IT University of Nottingham, UK [removed], [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2004-11-14 07:09:27 Inductive reasoning Grue Intelligent agent Agent Science Ethology Knowledge Artificial intelligence Zork Infocom

UPDATE